Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
141	arXiv:1501.02155v1 [math.MG] 9 Jan 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-01-11 20:23:30 Conjectures Discrete geometry Logic in computer science Formal methods Kepler conjecture Mathematical proof Proof assistant HOL Sphere packing Mathematics Theoretical computer science Logic
142	Technical Report UCAM-CL-TR ISSN[removed]Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-12-02 09:28:45 Computing Turing Award laureates Ucam Algorithm Logic for Computable Functions Proof assistant HOL Robin Milner Compiler Logic in computer science Theoretical computer science Computer science
143	Title: Formal Verification of Simulink/Stateflow Diagrams Organizers: Naijun Zhan, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, email: [removed] Speakers: Naijun Zhan and Li Add to Reading List Source URL: esweek.acm.org Language: English - Date: 2014-08-23 02:06:53 Visual programming languages Simulation software Stateflow Simulink Formal verification Hybrid system Isabelle Proof assistant KeY Software Mathematical software Application software
144	MOH_PSA_COVER_ENG_PROOF.QXD_Layout[removed]:20 PM Page 2 The Health Profession Assistant: Consideration of the Physician Assistant Application for Regulation August 2012 Add to Reading List Source URL: www.health.gov.on.ca Language: English - Date: 2012-11-30 19:45:08 Health care provider Health care Evidence-based practice Profession Royal College of Dental Surgeons of Ontario Allied health professions Health Medicine Healthcare
145	BOARD APPROVED COURSES REQUIRED FOR DENTAL ASSISTANTS TO PERFORM DUTIES UNDER TITLE 5, SERIES 1, SECTION 8.2 Upon submission of proof of successful completion of a program of education approved by the WV Board of Dental Add to Reading List Source URL: www.wvdentalboard.org Language: English - Date: 2009-08-12 16:31:50 Restorative dentistry Dental assistant Dental sealant Dental caries Dentist Orthodontics Crown Dentistry Medicine Prosthodontology
146	USG Incubator RFP: Adult Access Initiative Project Category: Proof-of-Concept or Start-Up Proposal Lead R. Todd Powell, M.A.Ed. Assistant Director, Adult Learner Programs Add to Reading List Source URL: www.usg.edu Language: English - Date: 2013-09-06 17:08:23 Students Distance education Adult learner Kennesaw State University E-learning Non-traditional student Andragogy Part-time learner in higher education Remedial education Education Knowledge Academia
147	MOH_PSA_COVER_ENG_PROOF.QXD_Layout[removed]:20 PM Page 2 The Health Profession Assistant: Consideration of the Physician Assistant Application for Regulation August 2012 Add to Reading List Source URL: www.hprac.org Language: English - Date: 2012-09-21 14:54:19 Health care provider Health care Evidence-based practice Profession Royal College of Dental Surgeons of Ontario Allied health professions Health Medicine Healthcare
148	DEPARTMENT OF JUSTICE Antitrust Division ANNE K. BINGAMAN Assistant Attorney General Main Justice Building 10th & Constitution Ave., NW Add to Reading List Source URL: www.justice.gov Language: English - Date: 2006-04-27 09:14:22 Rebate Proof of purchase Fraud Coupon Sales promotion Business Marketing
149	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:39 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
150	Under consideration for publication in J. Functional Programming 1 Functional Design and Implementation of Graphical User Interfaces for Theorem Provers Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2010-02-16 04:30:00 Computing Theoretical computer science Formal methods Software architecture Logic in computer science Proof assistant Isabelle Graphical user interface Window User interface techniques Software Automated theorem proving

UPDATE